1. Constructive mathematics: proceedings of the New Mexico State University Conference held at Las Cruces, New Mexico, Augustll-15, 1980
المؤلف: Edited by F. Richman
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Constructive mathematics - Congresses,Inuitionistic mathematics - Congresses
رده :
QA
3
.
L28
no
.
873
2. Constructive mathematics : proceedings of the New Mexico State University conference held at Las Cruces, New Mexico, August 11-15, 1980
المؤلف: edited by F. Richman
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: Congresses ، Constructive mathematics,Congresses ، Intuitionistic mathematics
رده :
QA
1
.
L4
v
.
873
3. Constructive mathematics : proceedings of the New Mexico State University conference held at Las Cruces, New Mexico, August 11-15, 1980
المؤلف: edited by F. Richman
المکتبة: (طهران)
موضوع: Congresses ، Constructive mathematics,Congresses ، Intuitionistic mathematics
رده :
QA
3
.
L28
Vol
.
873
